sjf problem